bitkeeper revision 1.1011.2.1 (40db40f4hQt__0Kd_tqYnMYqvqQCRg)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 24 Jun 2004 21:00:36 +0000 (21:00 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 24 Jun 2004 21:00:36 +0000 (21:00 +0000)
sched.h:
  bug fix

xen/include/xen/sched.h

index 2a509eab32d0c8de1be72e1c4e6f6d08afcd35b3..fb4ab16ba3e7564a75b0409cac41ddbba1d43401 100644 (file)
@@ -279,7 +279,6 @@ static inline void domain_unpause(struct domain *d)
 
 static inline void domain_unblock(struct domain *d)
 {
-    ASSERT(d != current);
     if ( test_and_clear_bit(DF_BLOCKED, &d->flags) )
         domain_wake(d);
 }